module Demo {

  interface HolaMundo {
    nonmutating void saludar(string nombre);
  };

};